((v4 v11 3) (v11 v5 3) (v6 v4 7) (v6 v2 2) (v2 v4 1) (v2 v10 9) (v4 v3 0) (v2 v12 9) (v9 v2 8) (v10 v7 6) (v12 v6 4) (v3 v9 0) (v1 v6 4) (v6 v9 9) (v8 v6 6) (v1 v3 2) (v10 v8 0) (v8 v5 7) (v8 v9 7) (v11 v1 8) (v9 v10 5) (v10 v6 5) (v1 v5 3) (v10 v4 9) (v5 v10 7) (v5 v6 7) (v8 v4 1) (v11 v7 4) (v7 v6 0) (v10 v11 2) (v1 v2 7) (v7 v5 1) (v8 v3 0) (v4 v9 6) (v11 v6 1) (v10 v12 6) (v11 v12 1) (v11 v8 7) (v4 v7 2) (v8 v1 7) (v12 v7 4) (v5 v9 1) (v4 v12 4) (v11 v9 6) (v5 v4 9))
161
((v9 v5))